If both servlets are allowed to read and update the same state machine without synchronization, the state machine logic might not work. 如果允许这两个servlet读取和更新同一个状态机而无需同步,状态机逻辑可能不会工作。
After the human task is completed, the BPEL process will invoke the business state machine, and the state machine logic will continue. 在人工任务完成之后,BPEL过程将调用业务状态机,并且状态机逻辑将继续执行。
Word processor: Machine using computer logic to accept, store and retrieve documents for subsequent editing and output in typewriter style. 文字处理机:用电脑逻辑接收,贮存和提取文件,跟着作编辑和以打字款式输出的机器。
We only need to compile the machine logic source program once, and hereafter we can run target code every time. 我们只需要对机床逻辑源程序编译一次,以后每次直接运行编译所生成的目标代码就可以了。
This paper give us the application prospect of machine discovery logic in mathematical discovery and automatic logic programming. 逻辑程序自动设计领域的应用前景。
With the development of the numerical control system, machine logic, as the control kernel, is put forward to a higher request. 随着数控技术的发展,也对数控系统中的整个运动控制核心的机床逻辑控制提出了较高的要求。
We can write machine logic with advanced language directly, but implementing soft PLC call for compiler. 我们可直接用高级语言编写机床逻辑,但实现软逻辑PLC的软件需要编译程序。
In a word, the compiled system implement soft PLC function, achieve the purpose of machine logic control, have the great advantage comparing whit hardware PLC. 总之,所开发编译系统实现了软PLC的功能,达到了机床逻辑控制的目的,具有硬PLC无法比拟的优势。
The satisfiable ( SAT) problem plays an important role in artificial intelligence, machine learning, mathematical logic, VLSI design and detection other areas. 可满足性问题(SAT问题)在数理逻辑、人工智能、机器学习、约束满足问题、VLSI集成电路设计与检测以及计算机科学理论等领域具有广阔的应用背景。
This model is quite different from some traditional testing models like status machine or combination logic. 该模型与以往的针对测试中非常具体的问题提出的解决方案如状态机、组合逻辑等模型不同。
Research on modeling thermal dynamic errors of precision machine based on fuzzy logic and artifical neural network 精密机械热动态误差模糊神经网络建模研究
In the stage of generate the target code, we pass to compile the machine logic source program, to generate the target code in the form of machine code. 在目标代码生成阶段,我们通过对机床逻辑源程序的编译,生成机器码形式的目标代码,对分析过程中产生的错误进行分析处理。
Thinking computation: hominine machine intelligence based on logic inference and image inference 基于逻辑推理和表象推理的类人机器智能&思维计算
It is pointed out that a kind of systems of machine learning based on inductive logic is not only possible, but also necessary for the progress of machine learning. 为了归纳机器学习的研究进展,一类基于归纳逻辑的机器学习系统不仅是可能的,而且是必要的。
Combination of artificial intelligence and database is a certain result of computer technique development, and the combination key of database and logic inference machine is the interface of logic inference machine and conventional database. 人工智能和数据库的结合是计算机技术发展的必然结果,而数据库和逻辑推理机结合的关键是逻辑推理机与传统数据库间的接口。
The present paper designs and defines in principle a parallel inference machine based on Horn clause logic, whose structure is composed of processes and process networks and whose computation is performed by process unifications or process communications. 本文从原理上设计和定义了一个基于Horn子句逻辑的并行推理机,其结构由进程和进程网络组成,其计算方式为进程合一,也就是进程通讯。
Application of motion control system in the printing and fluting machine based on programmable logic controller 基于PLC的运动控制系统在印刷开槽机中的应用
Design of electrical system for projection welding machine based on logic chart reliability theory 基于逻辑图可靠性理论的凸焊机电气系统设计
The Control System of Pipeline Internal Welding Machine Based on Programmable Logic Device 基于PLD的管道内环缝自动焊机控制系统
This paper describes the theory of machine discovery logic based on second order term rewriting technology as well as two experiment system DL and ALP. 介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP。
A Kind of Systems of Machine Learning Based on Inductive Logic 一类基于归纳逻辑的归纳学习系统
Machine logic, as the whole movement control kernel, also demanding soft PLC to realize function. 作为整个运动控制核心的机床逻辑控制也必然要以软件的形式来实现。
An adaptive fuzzy logic inference machine combined fuzzy logic with BP neural network and applied in the aviation electrommunication fault diagnosis system is introduced. 针对航空电子系统中故障诊断的问题,提出一种将神经网络中的BP算法与模糊逻辑系统相结合、自动产生并自动修正模糊规则的自适应的模糊逻辑推理机。
Applying it to the mine lifting machine which is logic controlled without circulation can realize totally digital control and makes systematic performance more perfect. 通过把该触发器应用于无环流逻辑控制的矿井提升机调速系统中,实现全数字化控制,使系统的性能更加完善。
The basis of the proposed graph reduction machine is Curry's combinatory logic. 已提出的图归约机的基础是Currg的合成逻辑(简称C逻辑),但是在图归约机中用C逻辑中的组合子定义作为归约规则似乎过于烦琐。
Traditional machine logic controller are all realized by hardware, which we say hard PLC, to adapt the development of the numerical control system we put forward to use the method of the software to realizes hard PLC, which we called soft PLC. 传统的机床逻辑控制器都是由硬件来实现的,即硬件PLC。为了适应数控系统的发展,我们使用软件的方法来实现硬件PLC的功能,即本课题所研究的软件PLC。
Then a new approach for intelligent determination of milling conditions with machine learning based fuzzy logic is presented. Firstly, some problems about the application of traditional expert system in selection of machining parameters for milling process are analyzed and discussed. 分析传统专家系统在铣削加工参数智能选择应用中存在的问题,提出一种可实现铣削用量智能选择的模糊逻辑推理方法。
To solve the problem of long combinational logic path in the process of address calculating, we adopt finite state machine to realize the control logic of transmission. 为了解决DMA控制器计算地址过程中组合逻辑路径过长的技术难题。在设计中,采用了有限状态机的设计思路,实现了对传输逻辑的控制。
Developed the opening human-machine interface module which based on Windows and machine logic control module and movement control module which based on DSP. 开发了基于Windows的开放式人机界面模块、基于DSP的机械逻辑控制模块和运动控制模块。